Transformation of UML and OCL Models into Filmstrip Models? Frank Hilken, Lars Hamann, and Martin Gogolla University of Bremen {fhilken,lhamann,gogolla}@informatik.uni-bremen.de

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Object Process Methodology
• Object diagram
• Class diagram
• Postcondition
• Design by contract
• Sequence diagram
• Conceptual model

CALL FOR PAPERS — PEPM’10 ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation Madrid, January 18–19, 2010 (Affiliated with POPL’10)

Source URL: www.program-transformation.org

• Computing
• Software engineering
• Computer science
• Evaluation strategy
• Incremental computing
• Partial evaluation
• Symposium on Principles of Programming Languages
• Association for Computing Machinery
• Domain-specific language
• Actor model

Rate dependent shear bands in a shear transformation zone model of amorphous solids M. L. Manning,∗ E. G. Daub, J. S. Langer, and J. M. Carlson Department of Physics, University of California, Santa Barbara, Dat

Source URL: mmanning.expressions.syr.edu

RATIONALE FOR IMPLEMENTING A WEALTH BUILDING INITIATIVE IN PITTSBURGH The Pittsburgh Metropolitan Statistical Area (MSA) has become a national and international model for successful economic transformation. This region h

Source URL: urbaninnovation21.org

Iterative Development of Transformation Models by Using Classifying Terms (short paper) Frank Hilken1 Loli Burgueño2

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Engineering
• Systems science
• Software engineering
• Model transformation
• Model theory
• Metamodeling
• Object Process Methodology
• Scientific modelling

MODEL-THEORETIC PROPERTIES OF FREE, PROJECTIVE AND FLAT S-ACTS VICTORIA GOULD, ALEXANDER MIKHALEV, EVGENY PALYUTIN, AND ALENA STEPANOVA Abstract. This is the second in a series of articles surveying the body of work on t

Source URL: www-users.york.ac.uk

• Algebra
• Abstract algebra
• Mathematics
• Semigroup theory
• Monoid
• Semigroup action
• Semigroup
• Symbol
• Transformation semigroup
• Semiautomaton
• Filter
• Representation theory

Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimar˜aes, Alcino Cunha HASLAB — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal {nfmmacedo,tguimaraes,alcino}@di.umi

Source URL: alfa.di.uminho.pt

• Unified Modeling Language
• Systems engineering
• Software engineering
• Computing
• Systems science
• Object Constraint Language
• Metamodeling
• Model-driven architecture
• Platform-specific model
• Object Process Methodology
• MMT
• QVT

Towards a Family of Model Transformation Languages Jes´ us S´anchez Cuadrado1 Universidad Aut´ onoma de Madrid (Spain)

Source URL: sanchezcuadrado.es

Pricing American-style Derivatives under the Heston Model Dynamics: A Fast Fourier Transformation in the Geske–Johnson Scheme Oleksandr Zhylyevskyy1 February 12, 2005

Source URL: www.comp-econ.org

PDF Document

Source URL: alfa.di.uminho.pt

• Unified Modeling Language
• Systems engineering
• Metamodeling
• QVT
• Model-driven engineering
• Entityrelationship model
• Object Constraint Language
• ATLAS Transformation Language